Dependability, Abstraction, and Programming
نویسنده
چکیده
In this paper, we look at what is required to produce programs that are dependable. Dependability requires more than just high availability. Rather, a program needs to be ―right‖ as well, solving the problem for which it was designed. This requires a program development infrastructure that can, by means of appropriate abstractions, permit the programmer to focus on his problem, and not be distracted by ―systems issues‖ that arise when high availability is required. We discuss the attributes of good abstractions. We then illustrate this in the programming of dependable systems. Our ―abstraction‖ is a transparently persistent stateful programming model for use in the web enterprise setting where exactly-once execution is required. Work on this abstraction is reviewed. The new technical meat of the paper is in (1) describing how to reduce the performance cost of using the abstraction; (2) extending the flexibility of using this abstraction; (3) and showing how to exploit it to achieve dependability.
منابع مشابه
1 Improving the Dependability of Embedded Systems Using Configurable Computing Technology
In this work, strategies for dependability improvement of embedded systems based in configurable computing technology are discussed. To better explore the possibilities, an embedded system for space application was chosen as a case study. The case study was first implemented in a high level of abstraction, using the VHDL language, targeting its utilisation in a situation where no fault tolerant...
متن کاملAn Aspect-Oriented Approach to Manage QoS Dependability Dimensions in Model Driven Development
Model-driven development approaches commonly use an abstraction of platform specific features for improving reusability and verifiability of the core functionality models. However, the core functionality may still be tangled with features that address important dependability concerns across a design model – for example features such as security, trust and performance. These features can commonl...
متن کاملSoftware Architectures for Dependable and Distributed Systems
This position paper describes the current state-of-the-art and the future vision of software architectures for dependable systems. The study of software architectures is a relatively new field in software engineering, which has emerged from the need of modelling and analysing software systems at a very high level of abstraction. The current trend of building trustworthy systems from existing un...
متن کاملTowards Distributed Monitoring and Performance Analysis Services in the K-WfGrid Project
The complexity and the dynamics of the Grid environment and of the emering workflow-based applications on the Grid require novel performance monitoring and analysis services in order to capture monitoring data at multiple levels of abstraction, to analyze the data and to correlate metrics among entities. In this paper, we present the design of distributed monitoring and performance analysis ser...
متن کاملUsing Architectural Properties to Model and Measure System-Wide Graceful Degradation
System-wide graceful degradation may be a viable approach to improving dependability in computer systems. In order to evaluate and improve system-wide graceful degradation we present initial work on a component-based model that will explicitly define graceful degradation as a system property, and measure how well a system gracefully degrades in the presence of multiple combinations of component...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009